T-homotopy and Refinement of Observation (I): Introduction

9 M ay 2 00 5 T - HOMOTOPY AND REFINEMENT OF OBSERVATION ( I ) : INTRODUCTION

This paper is the extended introduction of a series of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other construction in dihomotopy theory is explained.

متن کامل

T - homotopy and refinement of observation ( I ) : Introduction Philippe Gaucher

This paper is the extended introduction of a series of three papers [11] [9] [10] about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other constructions in dihomotopy theory is explained. We also prove in appendix that the tensor product of flows is a closed symmetric monoidal struct...

متن کامل

1 9 Ja n 20 06 T - HOMOTOPY AND REFINEMENT OF OBSERVATION ( I ) : INTRODUCTION

This paper is the extended introduction of a series of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other construction in dihomotopy theory is explained. The main feature of the two algebraic topological models of higher dimensional automata (or HDA) introduced in [GG03]...

متن کامل

T-homotopy and Refinement of Observation (ii) : Adding New T-homotopy Equivalences

This paper is the second part of a series of papers about a new notion of T-homotopy of flows. It is proved that the old definition of T-homotopy equivalence does not allow the identification of the directed segment with the 3-dimensional cube. This contradicts a paradigm of dihomotopy theory. A new definition of T-homotopy equivalence is proposed, following the intuition of refinement of obser...

متن کامل

T-Homotopy and Refinement of Observation - Part II: Adding New T-Homotopy Equivalences

This paper is the second part of a series of papers about a new notion of T-homotopy of flows. It is proved that the old definition of T-homotopy equivalence does not allow the identification of the directed segment with the 3-dimensional cube. This contradicts a paradigm of dihomotopy theory. A new definition of T-homotopy equivalence is proposed, following the intuition of refinement of obser...

متن کامل

T-homotopy and Refinement of Observation (I): Introduction

نویسنده

چکیده

منابع مشابه

9 M ay 2 00 5 T - HOMOTOPY AND REFINEMENT OF OBSERVATION ( I ) : INTRODUCTION